Process calculus based upon evaluation to committed form
نویسندگان
چکیده
منابع مشابه
Process Calculus Based upon Evaluation to Committed Form
An approach to the semantics of CCS like communicating processes is proposed that is based upon evaluation of processes to input or output committed form with no explicit mention of silent ac tions This leads to a co inductively de ned notion of evaluation bisimilarity a form of weak branching time equivalence which is shown to be a congruence even in the presence of summation The relationship ...
متن کاملCalculus in Coinductive Form
Coinduction is often seen as a way of implementing innnite objects 8, 44. Since real numbers are typical innnite objects, it may not come as a surprise that calculus, when presented in a suitable way, is permeated by coinductive reasoning. What is surprising is that mathematical techniques, recently developed in the context of computer science, seem to be shedding a new light on some basic meth...
متن کاملSparse Analysis of Variable Path Predicates Based upon SSA-Form
Static Single Assignment Form benefits data flow analysis by its static guarantees on the definitions and uses of variables. In this paper, we show how to exploit these guarantees to enable a sparse data flow analysis of variable predicates, for gaining a rich predicate-based and path-oriented characterization of a program’s variables’ values.
متن کاملA Logical Process Calculus
This paper presents the Logical Process Calculus (LPC), a formalism that supports heterogeneous system specifications containing both operational and declarative subspecifications. Syntactically, kPC extends Milner's Calculus of Conmmnicating Systems with operators fl'om the alternation free linear time p calculus (kT#). Semantically, kPC is equipped with a behavioral preorder that generalizes ...
متن کاملA Dendroidal Process Calculus
The Dendroidal Process Calculus (DPC) is designed as a new theory for modeling concurrent and distributed computations and systems, equipped with a non-sequential and compositional semantics. In this theory, a parallel composition is parameterized by a graph at the vertices of which subprocesses are located. Communication is allowed only between subprocesses related by an edge in this graph. Mo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1998
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(97)00218-1